x86: add irq count for IPIs
authorKevin Tian <kevin.tian@intel.com>
Wed, 31 Aug 2011 14:18:23 +0000 (15:18 +0100)
committerKevin Tian <kevin.tian@intel.com>
Wed, 31 Aug 2011 14:18:23 +0000 (15:18 +0100)
commita81d0ee933c35323f32269dad37977934b6cbb28
tree1202c69e945e73341870451b43622fa35408763a
parent2f4c78e40fd1a9a6d4039dff42ecb37ba8087f99
x86: add irq count for IPIs

such count is useful to assist decision make in cpuidle governor,
while w/o this patch only device interrupts through do_IRQ is
currently counted.

Signed-off-by: Kevin Tian <kevin.tian@intel.com>
xen/arch/x86/apic.c
xen/arch/x86/cpu/mcheck/mce_intel.c
xen/arch/x86/io_apic.c
xen/arch/x86/smp.c